1921. Verification and validation in systems engineering
Author: / Mourad Debbabi ... [et al.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Systems engineering.,Expert systems (Computer science)--Verification,Expert systems (Computer science)--Validation,UML (Computer science),SysML (Computer science),Systementwicklung--swd,UML--swd,SysML--swd,Software Engineering--swd,Softwaremetrie--swd,Programmanalyse--swd,Verifikation--swd,Validierung--swd,Leistungsbewertung--swd
Classification :
QA
,
76
.
76
,.
E95
,
V47
,
2010
1922. Verification and validation in systems engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;
1923. Verification and validation in systems engineering : assessing UML/SysML design models
Author: Mourad Debbabi ... ]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Systems engineering,Verification ، Expert systems )Computer science(,Validation ، Expert systems )Computer science(,، UML )Computer science(,، SysML )Computer science(
Classification :
QA
76
.
76
.
E95
V47
2010
1924. Verification and validation of rule-based expert systems]CD[
Author: Smith, Suzanne, Suzanne Smith, Abraham Kandel
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software
Classification :
CD
1748-83
1925. Verification and validation of rule-based expert systems
Author: / Suzanne Smith, Abraham Kandel
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Expert systems (Computer science),Computer software- Verification,Computer software- Validation
Classification :
QA76
.
76
.
E95
,
S66
1993
1926. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
1927. View-independent face recognition with mixture of experts
Author: by: Reza Ebrahimpour,^AEbrahimpour, Reza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer vision,Human face recognition )Computer science(,Expert systems )Computer science(,Neural networks )Computer science(,Pattern perception,Neurophysiology,Visual perception
1928. Virtual and adaptive environments :
Author: edited by Lawrence J. Hettinger, Michael Haas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction.,Virtual computer systems.,COMPUTERS-- Operating Systems-- Virtualization.,COMPUTERS-- System Administration-- General.,COMPUTERS-- Utilities.,Human-computer interaction.,Virtual computer systems.
Classification :
QA76
.
9
.
V5
V56
2003eb
1929. Virtual humans: a build-it-yourself kit, complete with software and step-by-step instructions
Author: Plantec, Peter M.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Natural language processing )Computer science(,، Expert systems )Computer science(,Computer simulation ، Personality
Classification :
QA
76
.
9
.
N38
P47
1930. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
1931. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
1932. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
1933. Von Datenbanken zu Expertensystemen
Author: Hans-Jürgen Appelrath.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database management.,Datenbank.,Expert systems (Computer science)
Classification :
QA76
.
9
.
D3
H367
1985
1934. Web and big data :
Author: Leong Hou U, Haoran Xie (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Natural Language Processing (NLP).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Big data.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Desktop publishing.,Expert systems / knowledge-based systems.,Information retrieval.,Internet.,World Wide Web.
Classification :
TK5105
.
888
1935. Web information systems engineering -- WISE 2018 :
Author: Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
Classification :
TK5105
.
88813
1936. Wireless Mobile Communication and Healthcare :
Author: edited by Balwant Godara, Konstantina S. Nikita.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Medical records -- Data processing.
Classification :
R858
.
A1
E358
2013
1937. Wissensbasierte Systeme :
Author: Doris Altenkrüger ; Winfried Büttner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Expertensystem -- 0 Gesamtdarstellung.,Wissensbasiertes System.
1938. Wissensbasierte Systeme.
Author: Wilfried Brauer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
1939. Women into computing :
Author: Gillian Lovegrove.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: comportement femme.,femme informatique.,formation femme.
1940. XPS'99 : Knowledge-based systems : survey and future decisions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 1999 : proceedings
Author: Frank Puppe )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1570
